#include <user.h>
#include <defs.h>
#include <io.h>

void NameServer();
void TerminalTxServer();
void TerminalRxServer();
void IdleTask();

void UserInit() {
  int child_tid;
  child_tid = Create(4, &NameServer, "NameServer");
  child_tid = Create(5, &TerminalTxServer, "TerminalTxServer");
  child_tid = Create(4, &TerminalRxServer, "TerminalRxServer");
  Create(0, &IdleTask, "IdleTask");

  // bombard UART2 with characters!
  int c;
  while (TRUE) {
    c = Getc(COM2);
    Putc(COM2, c);
  }
  
  Exit();
}
